2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Foundations of Algebraic Specification and Formal Software Development
Автор:
Donald Sannella
, Автор:
Andrzej Tarlecki
Размер книги: 3.58 Mb
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Автор:
Donald Sannella
, Автор:
Andrzej Tarlecki
Размер книги: 2.56 Mb
Foundations of Algebraic Specification and Formal Software Development
Автор:
Donald Sannella
, Автор:
Andrzej Tarlecki
Размер книги: 5.07 Mb
Foundations of Algebraic Specification and Formal Software Development
Автор:
D Sannella; Andrzej Tarlecki
Категория:
Cs_Computer science
,
CsF_Formal methods
Размер книги: 2.91 Mb
8 specification languages
Автор:
Sannella D.
Категория:
Радио
Размер книги: 283 Kb
Programming Languages and Systems, 5 conf., ESOP '94
Автор:
Donald Sannella
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.20 Mb
Automata, Languages and Programming, 31 conf., ICALP 2004
Автор:
Josep Diaz
, Автор:
Juhani Karhumäki
, Автор:
Arto Lepistö
, Автор:
Donald Sannella
Категория:
CsLn_
Размер книги: 20.89 Mb
Trustworthy Global Computing, 2 conf., TGC 2006
Автор:
Ugo Montanari
, Автор:
Donald Sannella
, Автор:
Roberto Bruni
Категория:
CsLn_
Размер книги: 3.47 Mb